Morteza Moniri: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An infinitary axiomatization of dynamic topological logic

Chopoghloo, Somayeh, Moniri, Morteza

Journal:

Logic Journal of IGPL

Year:

2020

File:

PDF, 258 KB

2020

2

Some results on Kripke models over an arbitrary fixed frame

Seyed Mohammad Bagheri, Morteza Moniri

Journal:

Mathematical Logic Quarterly

Year:

2003

Language:

english

File:

PDF, 109 KB

english, 2003

3

Polynomial induction and length minimization in intuitionistic bounded arithmetic

Journal:

Mathematical Logic Quarterly

Year:

2005

Language:

english

File:

PDF, 80 KB

english, 2005

4

Molecular Identification, Phylogenetic Analysis and Antifungal Susceptibility Patterns of Aspergillus nidulans complex and Aspergillus terreus complex isolated from clinical specimens

Mohamadnia, Abdolreza, Salehi, Zahra, Namvar, Zahra, Tabarsi, Payam, Toutkaboni, Mihan Pourabdollah, Rezaie, Sassan, Marjani, Majid, Moniri, Afshin, Abtahian, Zahra, Mahdaviani, Syed Ali Reza, morteza

Journal:

Journal de Mycologie Médicale / Journal of Medical Mycology

Year:

2020

File:

PDF, 810 KB

2020

5

ℋ-theories, fragments of HA and PA-normality

Journal:

Archive for Mathematical Logic

Year:

2002

Language:

english

File:

PDF, 75 KB

english, 2002

6

On two questions about feasibly constructive arithmetic

Journal:

Mathematical Logic Quarterly

Year:

2003

Language:

english

File:

PDF, 71 KB

english, 2003

7

Preservation theorems for bounded formulas

Journal:

Archive for Mathematical Logic

Year:

2007

Language:

english

File:

PDF, 121 KB

english, 2007

8

Some Weak Fragments of HA and Certain Closure Properties

Morteza Moniri and Mojtaba Moniri

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 324 KB

english, 2002

9

Intuitionistic weak arithmetic

Journal:

Archive for Mathematical Logic

Year:

2003

Language:

english

File:

PDF, 136 KB

english, 2003

10

Provably recursive functions of constructive and relatively constructive theories

Journal:

Archive for Mathematical Logic

Year:

2010

Language:

english

File:

PDF, 159 KB

english, 2010

11

Homomorphisms and chains of Kripke models

Morteza Moniri, Mostafa Zaare

Journal:

Archive for Mathematical Logic

Year:

2011

Language:

english

File:

PDF, 193 KB

english, 2011

12

Independence results for weak systems of intuitionistic arithmetic

Journal:

Mathematical Logic Quarterly

Year:

2003

Language:

english

File:

PDF, 112 KB

english, 2003

13

From forcing to satisfaction in Kripke models of intuitionistic predicate logic

Abiri, Maryam, Moniri, Morteza, Zaare, Mostafa

Journal:

Logic Journal of IGPL

Year:

2018

Language:

english

File:

PDF, 362 KB

english, 2018

14

Forcing and satisfaction in Kripke models of intuitionistic arithmetic

Abiri, Maryam, Moniri, Morteza, Zaare, Mostafa

Journal:

Logic Journal of IGPL

Year:

2018

Language:

english

File:

PDF, 426 KB

english, 2018

15

Preservation theorems for Kripke models

Morteza Moniri, Mostafa Zaare

Journal:

Mathematical Logic Quarterly

Year:

2009

Language:

english

File:

PDF, 123 KB

english, 2009

16

Weak Arithmetics and Kripke Models

Journal:

Mathematical Logic Quarterly

Year:

2002

Language:

english

File:

PDF, 121 KB

english, 2002

17

Corrigendum to “Weak Arithmetics and Kripke Models”

Journal:

Mathematical Logic Quarterly

Year:

2004

Language:

english

File:

PDF, 63 KB

english, 2004

18

Some weak fragments of HA and certain closure properties

Moniri, Morteza, Moniri, Mojtaba

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 1005 KB

english, 2002

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски